منابع مشابه
Unwinding biological systems
Unwinding conditions have been fruitfully exploited in Information Flow Security to define persistent security properties. In this paper we investigate on their meaning and possible uses in the analysis of biological systems. In particular, we elaborate on the notion of robustness and propose some instances of unwinding over the process algebra Bio-PEPA and over hybrid automata. We exploit such...
متن کاملCooperativity in biological systems
Living organisms can sense and respond to external and internal stimuli. Response isdemonstrated in many forms including modulation of gene expression profiles, motility,secretion, cell death, etc. Nevertheless, all forms share a basic property: they depend on sensingsmall changes in the concentration of an effector molecule or subtle conformational changes ina protein and invoking the appropri...
متن کاملcooperativity in biological systems
living organisms can sense and respond to external and internal stimuli. response isdemonstrated in many forms including modulation of gene expression profiles, motility,secretion, cell death, etc. nevertheless, all forms share a basic property: they depend on sensingsmall changes in the concentration of an effector molecule or subtle conformational changes ina protein and invoking the appropri...
متن کاملKreisel’s “unwinding” program
Through his own contributions (individual and collaborative) and his extraordinary personal influence, Georg Kreisel did perhaps more than anyone else to promote the development of proof theory and the metamathematics of constructivity in the last forty-odd years. My purpose here is to give some idea of just one aspect of Kreisel’s contributions to these areas, namely that devoted to “unwinding...
متن کاملSnail Chirality: The Unwinding
Most snails are coiled clockwise, but in some species rare genetic variants with reverse coiling occur. Now, a molecular determinant of coiling direction has been identified, the cytoskeletal regulator formin.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2015
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2015.02.045